int main(){
	char str[21] = "Hello World";
	printf("%s", str);
	return 0;
}
